📐 Quotient Types - abnv · Scour

Reflexive graph lenses in univalent foundations

arxiv.org·1d

🔍Lens Libraries

haskellweekly.news·2h

⚡functional programming

abelianization of an additive category in nLab

ncatlab.org·21h

🔗Category Theory

Reals, Complex, Quaternions and Octonions

nigelvr.github.io·2d·

Discuss: Hacker News

🧮Linear Algebra

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·8h

🧩Constraint Solvers

Regularity bias in Solomonoff, transformers, and evolution

lesswrong.com·13h

🚂Error Propagation

weitianxin/Awesome-Agentic-Reasoning

github.com·4h

🤖Abstract Machines

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Topological order and fractons from gauging exponential symmetries

link.aps.org·1d

λLambda Calculus

Qdrant - Vector Database

qdrant.tech·1d

🔍Query Engines

Randomization in Typst

idraluna-archives.bearblog.dev·18h

🌊Gradual Effects

Free papers, get your free papers here!

esat.kuleuven.be·18h

🔗Hash Functions

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Human-Aligned Decision Transformers for planetary geology survey missions with zero-trust governance guarantees

dev.to·16h·

Discuss: DEV

🚂Error Propagation

Kolmogorov Complexity

en.wikipedia.org·1d·

Discuss: Hacker News

λLambda Calculus

Variation on Iota

toolofthought.com·3d·

Discuss: Hacker News

🔢Bit Manipulation

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·1d

🏗️Cranelift

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

📜Proof Languages

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·21h·

Discuss: Hacker News

🪢Rope Data Structures

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·23h·

Discuss: Blogger

📐Mathematical Computing

Loading more...